nth root theorem